#include<stdio.h>


void main()
{
	char ch1,ch2;

	ch1=getchar();

	ch2=getchar();

	putchar(ch1+32);



	putchar(ch2+32);
	putchar('\n');



}
